Skip to main content

mit :: lcs :: tm :: MIT-LCS-TM-511

Bookreader Item Preview

texts

mit :: lcs :: tm :: MIT-LCS-TM-511


Topics
timed, status, gate, automaton, lemma, implies, admissible, mmt, train, enter, admissible timed, timed execution, timed automaton, utility property, mmt automaton, formal methods, timed traces, timed automata, simulation mapping, computer system
Collection
bitsavers_mit; bitsavers; additional_collections
Language
English
From the bitsavers.org collection, a scanned-in computer-related document.
mit :: lcs :: tm :: MIT-LCS-TM-511
Addeddate
2013-01-11 16:48:17
Bitsavers-filename
/pdf/mit/lcs/tm/MIT-LCS-TM-511.pdf
Identifier
bitsavers_mitlcstmMI_345282
Identifier-ark
ark:/13960/t6xw5r304
Ocr
ABBYY FineReader 8.0
Ppi
300

plus-circle Add Review
comment
Reviews

There are no reviews yet. Be the first one to write a review.

199 Views

DOWNLOAD OPTIONS

download 1 file
ABBYY GZ download
DAISY

For users with print-disabilities

EPUB
download 1 file
FULL TEXT download
download 1 file
ITEM TILE download
download 1 file
PDF download
download 1 file
SINGLE PAGE PROCESSED JP2 ZIP download
download 1 file
TORRENT download
download 14 Files
download 7 Original
SHOW ALL

IN COLLECTIONS

The BITSAVERS.ORG Documents Library: Massachusetts Institute of Technology The BITSAVERS.ORG Documents Library Additional Collections

Uploaded by Jason Scott on

SIMILAR ITEMS (based on metadata)

Terms of Service (last updated 12/31/2014)